Symbolic Bisimulation for Probabilistic Systems

International audienceThe paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations between probabilistic systems. Especially the definition of weak (symbolic) bisimulation does not rely on the random capability of adversaries and sug- gests a solution to the open problem on the axiomati- zation for weak bisimulation in the case of unguarded recursion. Furthermore, we present an efficient char- acterization of symbolic bisimulations for the calculus, which allows the ”on-the-fly” instantiation of bound names and dynamic construction of equivalence rela- tions for quantitative evaluation. This directly results in a local decision algorithm that can explore just a minimal portion of the state spaces of probabilistic pro- cesses in question

Status Epilepticus and Delirium Associated with Ertapenem in a Very Elderly Patient with Chronic Kidney Disease and Silent Ischaemic Cerebrovascular Disease

Publisher PDFPeer reviewe

The Relationship between Social Responsibility and Majority Shareholders’ Stock Selling: Considering the Mediation of Investors Tendency

Based on the research object of majority shareholders’ stock selling at the post period of equity division reform, this paper takes 8019 A-share listed companies in Shanghai and Shenzhen stock market from 2007-2013 as sample, empirically analysis the relationship between social responsibility and majority shareholders’ stock selling, and consider mediation effect of the investor tendency. The study found that from the point of internal governance effect, the better of social responsibility, the lower possibility of majority shareholders’ stock selling. At the same time, the lower of market reduction premium, the lower possibility of majority shareholders’ stock selling, after considering the influence of investors’ tendency, the inhibition effect of social responsibility will be magnified, which means securities market identity with the inhibition effect that comes from the social responsibility caused by listed companies’ internal. Further study found that majority shareholders will avoid stock selling during the period of the social responsibility reporting, and market investors will hold different attitudes toward majority shareholders for their first and continuous stock selling, and on their view, continuous stock selling is a “bad” event

Alpha-mangostin attenuates oxidative stress and inflammation in adjuvant-induced arthritic rats

Purpose: To examine the protective effect of α-mangostin on Freund’s adjuvant-induced rheumatoid arthritis (RA) in rats.Methods: Male Wistar rats were divided into four groups (n = 6). The rats were made arthritic using a single intradermal injection of 0.1 ml complete Freund's adjuvant. α-Mangostin (100 mg/kg, i.p.) was administered for 21 days. After the experimental period, the animals were sacrificed and various biochemical markers were assessed.Results: Arthritis-induced rats showed a significant (p < 0.05) increase in malondialdehyde (16.28 ± 1.43 vs 7.22 ± 1.03) and nitric oxide (3.82 ± 0.87 vs 6.12 ± 1.23) with a concomitant reduction of antioxidants in the paw tissue. α-Mangostin intervention significantly (p < 0.05) reduced malondialdehyde and nitric oxide levels and restored antioxidant levels to normalcy by mitigating oxidative stress. The arthritic rats exhibited elevated tumor necrosis factor-α (TNF-α) and interleukin-6 (IL-6) serum concentrations, upregulated TNF-α and IL–6 protein levels, and upregulated nuclear factor αB (NF-αB) mRNA expression in paw tissues. Treatment with α-mangostin significantly (p < 0.05) reduced serum levels and downregulated inflammatory markers to normalcy.Conclusion: The results suggest that α-mangostin displayed a protective effect against adjuvantinduced arthritis in rats mediated through antioxidant and anti-inflammatory effects.Keywords: Rheumatoid arthritis, Freund’s adjuvant, α-Mangostin, Oxidative stress, Inflammatio

Effects of polymer concentration and cationic surfactant on the morphology of electrospun polyacrylonitrile nanofibres

PAN nanofibres were prepared via an electrospinning process. The effect of polymer concentration on the fibre morphology was studied. At a very dilute solution, no fibres were obtained in the electrospinning process. As the concentration increased, the fibre morphology evolved from a beads-on-string structure to a uniform fibre structure with increasing fibre diameters. However, when the same electrospinning process was conducted with the addition of a cationic surfactant, the formation of disconnected beads was prevented, and the number of beads-on-string structures reduced significantly. In addition, the presence of cationic surfactant reduced the average diameter of the electrospun PAN nanofibres.<br /

Teacher Questioning in College English Class: A Guide to Critical Thinking

Amidst the great revolution in China s education system promoting critical thinking in school education to prepare students for the needs of modern world has been advocated by more and more educators Critical thinking is a learned skill that needs to be cultivated by effective instruction Research suggest that teacher questioning plays an important role in promoting students critical thinking through classroom interaction This article reviews literature on how critical thinking relates to teacher questioning instructional approach and advocates effective use of teacher questioning technique in college English class to actively engage students in the learning process and guide them to critical thinkin

Research on the Status Quo and Satisfaction of ' Internet + ' Home Care Model in Hangzhou in the Post-Epidemic Era

This paper takes Hangzhou as an example to study the current situation of the "Internet +" home care model in Hangzhou in the post-epidemic era and the satisfaction of citizens with this new pension model. We established a structural equation model of citizens' satisfaction with the "Internet +" home care model, and calculated the satisfaction index by combining the CSI satisfaction index

A Fully Abstract Symbolic Semantics for Psi-Calculi

We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted between processes and their names can be statically scoped using the standard pi-calculus mechanism to allow for scope migrations. Psi-calculi can be more general than other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, or the concurrent constraint pi-calculus. Symbolic semantics are necessary for an efficient implementation of the calculus in automated tools exploring state spaces, and the full abstraction property means the semantics of a process does not change from the original

Absorption and metabolism of genistein and its five isoflavone analogs in the human intestinal Caco-2 model

The purposes of this study were to determine the effect of structural change on the intestinal disposition of isoflavones and to elucidate the mechanisms responsible for transport of phase II isoflavone conjugates. Transport and metabolism of six isoflavones (i.e., genistein, daidzein, glycitein, formononetin, biochanin A, and prunetin) were studied in the human intestinal Caco-2 model and mature Caco-2 cell lysate. Glucuronides were the main metabolites in intact Caco-2 cells for all isoflavones except prunetin, which was mainly sulfated. In addition, the 7-hydroxy group was the main site for glucuronidation whereas the 4′-hydroxy group was only one of the possible sites for sulfation. Glucuronidated isoflavones (except biochanin A) were preferably excreted to the basolateral side, whereas sulfated metabolites (except genistein and glycitein) were mainly excreted into the apical side. Polarized excretion of most isoflavone conjugates was inhibited by the multidrug resistance-related protein (MRP) inhibitor leukotriene C 4 (0.1 μ M ) and the organic anion transporter (OAT) inhibitor estrone sulfate (10 μ M ). When formation and excretion rates of isoflavones were determined simultaneously, the results showed that formation served as the rate-limiting step for all isoflavone conjugates (both glucuronides and sulfates) except for genistein glucuronide, which had comparable excretion and formation rates. In conclusion, the intestinal disposition of isoflavones was structurally dependent, polarized, and mediated by MRP and OAT. Formation generally served as the rate-limiting step in the cellular excretion of conjugated isoflavones in the Caco-2 cell culture model.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46930/1/280_2004_Article_842.pd